$\forall$$a$, $b$:$\mathbb{N}$. $a$ $=$ $b$ $\Leftrightarrow$ $a$=$_{2}$$b$